//
//  label.cpp
//  ltlbmc
//
//  Created by GD Huang on 8/24/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#include <iostream>
#include "label.h"

namespace cilast {
    
    int label::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    
    int Label::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    
    int Case::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int Default::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
}